14.57/20.82	unsat
