9.67/13.03	unsat
