13.57/16.71	unsat
