13.67/15.96	unsat
