4.44/6.40	unsat
