15.84/17.34	unsat
