15.84/18.37	unsat
