5.48/6.19	unsat
