15.06/18.44	unsat
