11.46/14.54	unsat
