15.94/18.26	unsat
