6.19/8.54	unsat
