13.66/16.72	unsat
