18.02/21.78	unsat
