9.27/12.03	unsat
