13.06/13.72	unsat
