5.91/7.03	unsat
