11.31/11.47	unsat
