13.96/16.00	unsat
