15.86/19.04	unsat
