6.34/8.54	unsat
