15.46/18.26	unsat
