13.46/13.72	unsat
