5.77/8.62	unsat
