18.41/22.89	unsat
