4.85/5.42	unsat
