18.74/21.63	unsat
