4.92/5.06	unsat
