13.67/16.24	unsat
