7.62/8.47	unsat
