11.06/14.40	unsat
