13.07/18.72	unsat
