5.77/7.42	unsat
