11.98/13.32	unsat
