5.44/5.98	unsat
