5.57/8.19	unsat
