4.79/5.42	unsat
