42.86/46.27	unsat
