5.44/7.94	unsat
