11.78/15.26	unsat
