13.96/16.71	unsat
