5.44/6.26	unsat
