4.86/5.46	unsat
