5.44/8.39	unsat
