393.26/394.36	unsat
