5.77/8.54	unsat
