5.44/5.84	unsat
